semiring of sets

См. также в других словарях:

• Semiring — In abstract algebra, a semiring is an algebraic structure similar to a ring, but without the requirement that each element must have an additive inverse. The term rig is also used occasionally this originated as a joke, suggesting that rigs are… …   Wikipedia

• C-semiring — In abstract algebra, a c semiring (that is, a constraint based semiring) is a tuple such that: A is a set and 0, 1 are elements of A . + is the additive operation and is a commutative (i.e., +( a , b ) = +( b , a )) and associative (i.e., +( a… …   Wikipedia

• c-semiring — In abstract algebra, a c semiring (that is, a constraint based semiring) is a tuple <A,+,X,0,1> such that: A is a set and 0, 1 are elements of A. + is the additive operation and is a commutative (i.e., +(a,b) = +(b,a)) and associative (i.e …   Wikipedia

• List of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… …   Wikipedia

• Outline of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… …   Wikipedia

• Algebraic structure — In algebra, a branch of pure mathematics, an algebraic structure consists of one or more sets closed under one or more operations, satisfying some axioms. Abstract algebra is primarily the study of algebraic structures and their properties. The… …   Wikipedia

• Combinatorial species — In combinatorial mathematics, the theory of combinatorial species is an abstract, systematic method for analysing discrete structures in terms of generating functions. Examples of discrete structures are (finite) graphs, permutations, trees, and… …   Wikipedia

• Peano axioms — In mathematical logic, the Peano axioms, also known as the Dedekind Peano axioms or the Peano postulates, are a set of axioms for the natural numbers presented by the 19th century Italian mathematician Giuseppe Peano. These axioms have been used… …   Wikipedia

• Natural number — Natural numbers can be used for counting (one apple, two apples, three apples, ...) from top to bottom. In mathematics, the natural numbers are the ordinary whole numbers used for counting ( there are 6 coins on the table ) and ordering ( this is …   Wikipedia

• External (mathematics) — The term external is useful for describing certain algebraic structures. The term comes from the concept of an external binary operation which is a binary operation that draws from some external set . To be more specific, a left external binary… …   Wikipedia

• Free object — In mathematics, the idea of a free object is one of the basic concepts of abstract algebra. It is a part of universal algebra, in the sense that it relates to all types of algebraic structure (with finitary operations). It also has a clean… …   Wikipedia